THE DEFINITION OF VEXATION